例文This can be proved by contradiction.We will now prove by contradiction, that ? has to be the identity ( then we are done ).It uses the Burali-Forti paradox to prove by contradiction that the class of all ordinals is a proper class.